Reasoning About Partial Contracts
نویسندگان
چکیده
Natural language techniques have been employed in attempts to automatically translate legal texts, and specifically contracts, into formal models that allow automatic reasoning. However, such techniques suffer from incomplete coverage, typically resulting in parts of the text being left uninterpreted, and which, in turn, may result in the formal models failing to identify potential problems due to these unknown parts. In this paper we present a formal approach to deal with partiality, by syntactically and semantically permitting unknown subcontracts in an action-based deontic logic, with accompanying formal analysis techniques to enable reasoning under incomplete knowledge.
منابع مشابه
Social contracts and precautions activate different neurological systems: an fMRI investigation of deontic reasoning.
We conducted an event-related, functional MRI investigation of 12 male's and 12 female's reasoning about conditional deontic rules, rules regulating people's behavior. We employed two different types of rules: social contracts and nonsocial, precautionary rules. Although the rules and the demands of the task were matched in terms of their logical structure, reasoning about social contracts and ...
متن کاملCombining Manifest Contracts with State
Manifest contracts combine the rich specifications and runtime checking of higher-order contracts [11] with a static type discipline. Conventional type systems prevent simple errors, like calling a boolean as a function, but manifest contracts can prevent more complex errors. For example, we could give the sqrt function the very precise type {x:Float | x ≥ 0} → {y:Float | |x − y| < }, where sub...
متن کاملGenerating Auction Conngurations from Declarative Contract Descriptions
This work presents an approach to automating the negotiation of business contracts and describes an implementation of a subset of this overall goal. To support automated contract negotiation, we are developing a language for both (1.) fully-speciied, executable contracts and (2.) partially-specied contracts that are in the midst of being negotiated, speciically via automated auctions. The langu...
متن کاملVeriication and Reenement of Action Contracts
Action contracts are a formalism for describing an interactive system as a game between two coalitions of agents. A basic contract statement, involving choice points for the diierent agents, is repeatedly executed as an atomic operation (modeled as a monotonic predicate transformer). The possible executions can be described as an alternating tree which in turn can be analysed using a generalisa...
متن کاملBitML: a calculus for Bitcoin smart contracts
We propose a domain-specific language for smart contracts, which allows participants to transfer cryptocurrency according to agreed contract terms. We define a symbolic and a computational model for reasoning about their security. In the symbolic model, participants act according to the semantics of the domain-specific language. Instead, in the computational model they exchange bitstrings, and ...
متن کامل